Современная западная философия - тарский (tarski) альфред
Связанные словари
Тарский (tarski) альфред
тарский (tarski) альфред
(1902-1984) польск. логик и математик. Его взгляды сформировались в рамках Львовско-варшавской школы, на них повлияли идеи Котарбиньского, Лукасевича и Лесьневского. С 1926 преподавал в Варшавском ун-те. В 1939 эмигрировал в США, с 1942 работал в Гарвардском ун-те и Институте высших исследований в Принстоне, с 1946 проф. математики Калифорнийского ун-та. Т. был президентом Международного союза истории и философии науки, президентом Ассоциации символической логики, со-редактором крупнейшего логического журнала "The Journal of Symbolic Logic". Наиболее значителен вклад Т. в теорию множеств, алгебру, теорию моделей, в различные разделы математической логики, признание получили его работы, посвященные основаниям математики. Т. считают основоположником формальной семантики. Им дано ставшее классическим семантическое определение истины для большой группы формализованных языков. Он является также автором исследований по общим свойствам дедуктивных теорий. Труды Т. по логической семантике, металогике и методологии дедуктивных наук открыли принципиально новые возможности применения строгих формальных методов в логико-методологическом анализе многих проблем.
Введение в логику и методологию дедуктивных наук. М., 1948; Истина и доказательство // Вопросы философии. 1972, №8; Logic, Semantic, Metamathematic. Oxford, 1956.
Рейтинг статьи:
См. в других словарях
1.
(род. 14 янв. 1902, Варшава) польск.-амер. логик и математик. С 1939 живет в США. Основоположник формальной семантики, изучающей значения понятий и суждений в логике, дал определение классического понятия истины для большой группы формализованных языков. Разрабатывал теории моделей, определимости понятий, проблемы построения дедуктивных теорий, металогику, семиотику, внес большой вклад в развитие математической логики и оснований математики. Осн. труды: "Logic, semantic, metamathematics", 1956; на рус. яз. "Введение в логику и методологию дедуктивных наук", М., 1948; "Истина и доказательство". "Вопросы философии", 1972, Me 8. ...Философский энциклопедический словарь
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2354 | |
2 | 1912 | |
3 | 1872 | |
4 | 1518 | |
5 | 1389 | |
6 | 1276 | |
7 | 1271 | |
8 | 1178 | |
9 | 1175 | |
10 | 1160 | |
11 | 1112 | |
12 | 1077 | |
13 | 1054 | |
14 | 990 | |
15 | 985 | |
16 | 930 | |
17 | 892 | |
18 | 859 | |
19 | 829 | |
20 | 762 |